Future temporal logic needs infinitely many modalities

Future temporal logic needs infinitely many modalities

Modeling infinitely many agents

This paper offers a resolution to an extensively studied question in theoretical economics: which measure spaces are suitable for modeling many economic agents? We propose the condition of “nowhere equivalence” to characterize those measure spaces that can be effectively used to model the space of many agents. In particular, this condition is shown to be more general than various approaches tha...

Existential rigidity and many modalities in order-sorted logic

Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex sorted expressions when they are true in any possible world (as rigid) or some possible worlds (as modality) such as time, space, belief, or situ...

Opening infinitely many nodes

we develop a theory of holomorphic differentials on a certain class of non-compact Riemann surfaces obtained by opening infinitely many nodes.

Infinitely many-armed bandits

We consider multi-armed bandit problems where the number of arms is larger than the possible number of experiments. We make a stochastic assumption on the mean-reward of a new selected arm which characterizes its probability of being a near-optimal arm. Our assumption is weaker than in previous works. We describe algorithms based on upper-confidence-bounds applied to a restricted set of randoml...